A Structural Entropy Measurement Principle of Propositional Formulas in Conjunctive Normal Form

The satisfiability (SAT) problem is a core problem in computer science. Existing studies have shown that most industrial SAT instances can be effectively solved by modern SAT solvers while random SAT instances cannot. It is believed that the structural characteristics of different SAT formula classes are the reasons behind this difference. In this paper, we study the structural properties of propositional formulas in conjunctive normal form (CNF) by the principle of structural entropy of formulas. First, we used structural entropy to measure the complex structure of a formula and found that the difficulty solving the formula is related to the structural entropy of the formula. The smaller the compressing information of a formula, the more difficult it is to solve the formula. Secondly, we proposed a λ-approximation strategy to approximate the structural entropy of large formulas. The experimental results showed that the proposed strategy can effectively approximate the structural entropy of the original formula and that the approximation ratio is more than 92%. Finally, we analyzed the structural properties of a formula in the solution process and found that a local search solver tends to select variables in different communities to perform the next round of searches during a search and that the structural entropy of a variable affects the probability of the variable being flipped. By using these conclusions, we also proposed an initial candidate solution generation strategy for a local search for SAT, and the experimental results showed that this strategy effectively improves the performance of the solvers CCAsat and Sparrow2011 when incorporated into these two solvers.     

Photodegradation mechanisms of acyclovir in water and the toxicity of photoproducts

Journal of Radioanalytical and Nuclear Chemistry - In the present work the final products of coumarin radiation chemical transformation are investigated by chromatography. During radiolysis of...     

基于电化学老化衰退模型的锂离子动力电池外特性

当前锂离子动力电池电化学模型存在模型复杂、建模难度大、计算效率低、老化评估效果差的问题,本文提出一种考虑电池衰退老化的机理模型(ADME).本文首先通过有限差分法对伪二维(P2D)电化学模型进行离散降阶处理,得到简化伪二维(SP2D)模型.在SP2D模型的基础上,基于阴阳两极发生的副反应导致的衰退老化现象,提出一种考虑电池衰退老化的机理模型.其次,使用多变量偏差补偿最小二乘法实现模型参数辨识.最后通过动力电池衰退老化性能循环实验,对比分析了恒流、脉冲工况下SP2D模型和ADME模型的终端电压输出.结果表明:ADME模型较为简单、计算效率和估算精度高,可以有效评估电池容量老化衰退,得到理想的锂离子动力电池外特性曲线.     

Editorial to the Special Issue: Adsorption,Absorption and Thermochemical Transport Processes in Complex Porous Structures

Transport in Porous Media - The theme of coupling problems for adsorption, absorption and thermochemical transport in porous media is very important for engineering applications. Based on the...     

Dynamic behavior and stability analysis of nonlinear modes in the fourth-order generalized Ginzburg–Landau model with near $$\mathcal{PT}$$ PT -symmetric potentials

Nonlinear Dynamics - Parametrically excited oscillators are used in several domains, in particular to improve the dynamical behaviour of systems like in the case of the parametric amplification or...     

驻波声场中单分散细颗粒的相互作用特性

利用外加声场促进悬浮在气相中的细颗粒发生相互作用,进而引起颗粒的碰撞和凝并,使得颗粒平均粒径增大、数目浓度降低,是控制细颗粒排放的重要技术途径.为探究驻波声场中单分散细颗粒的相互作用,建立包含曳力、重力、声尾流效应的颗粒相互作用模型,采用四阶经典龙格-库塔算法和二阶隐式亚当斯插值算法对模型进行求解.将数值模拟得到的颗粒声波夹带速度和相互作用过程与相应的解析解和实验结果进行对比,验证模型的准确性.进而研究颗粒初始条件和直径对相互作用特性的影响.结果表明,初始时刻颗粒中心连线越接近声波波动方向、颗粒位置越接近波腹点,颗粒间的声尾流效应就越强,颗粒发生碰撞所需要的时间就越短.研究还发现,颗粒直径对颗粒相互作用的影响取决于初始时刻颗粒中心连线偏离声波波动方向的程度.当偏离较小时,颗粒直径越大,颗粒发生碰撞所需要的时间越短;当偏离很大时,直径较小的颗粒能够发生碰撞,而直径较大的颗粒则无法发生碰撞.     

Highly dispersed palladium nanoclusters incorporated in amino‐functionalized silica spheres for the selective hydrogenation of succinic acid to γ‐butyrolactone

Highly dispersed palladium nanoclusters incorporated on amino‐functionalized silica sphere surfaces (Pd/SiO₂‐NH₂) were fabricated by a simple one‐pot synthesis utilizing 3‐(2‐aminoethylamino)propyltrimethoxysilane (AAPTS) as coordinating agent. Uniform palladium nanoclusters with an average size of 1.1 nm can be obtained during the co‐condensation of tetraethyl orthosilicate and AAPTS owing to the strong interaction between palladium species and amino groups in AAPTS. The palladium particle size can be controlled by addition of AAPTS and plays a significant role in the catalytic performance. The Pd/SiO₂‐NH₂ catalyst exhibits high catalytic activity for succinic acid hydrogenation with 100% conversion and 94% selectivity towards γ‐butyrolactone using 1,4‐dioxane as solvent at 240°C and 60 bar for 4 h. Moreover, the Pd/SiO₂‐NH₂ catalyst is robust and readily reusable without loss of its catalytic activity. Copyright © 2015 John Wiley & Sons, Ltd.